Holography For Satisfiabilit